A Slicing-based approach to enhance Petri Net Reachability Analysis
· One min read
저자: Woo Jin Lee, S.D. Cha, H.N. Kim, Y.R. Kwon
게재/발표: Journal of Research and Practice in Information Technology, Vol. 32, No. 2, pp. 131-143, May 2000.
분야: Formal Methods, Petri Net, Program Analysis
Petri Net 도달 가능성 분석의 효율을 높이기 위해 슬라이싱(slicing) 기법을 접목한 접근법을 제안합니다. 불필요한 상태 탐색을 줄여 분석 복잡도를 감소시킵니다.